Proof game - PDFSEARCH.IO - Document Search Engine

Proof game
Results: 48

#	Item
41	Efficient belief-state AND–OR search, with application to Kriegspiel Stuart Russell and Jason Wolfe Computer Science Division University of California, Berkeley, CA[removed]removed], [removed] C Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2005-04-15 20:58:52 Combinatorics Iterative deepening depth-first search Heuristic function Breadth-first search Depth-first search Proof-number search And–or tree Game tree Tree traversal Search algorithms Mathematics Graph theory
42	Game semantics for programs Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-02-20 07:30:38 Theoretical computer science Logic Logic in computer science Determinacy Denotational semantics Soundness Proof theory Deduction Mathematical logic
43	Microsoft Word - Mathematics-FINAL.doc Add to Reading List Source URL: www.wvfa.org Language: English - Date: 2009-07-21 10:46:38 0.999... One Algorithm 24 Game Mathematical proof Number Fraction Analysis Mathematics Mathematical logic Elementary arithmetic
44	HW834705_THE ACADEMY - GAME ON (Proof).pdf Add to Reading List Source URL: media.bloomsbury.com Language: German - Date: 2013-04-26 04:58:45
45	PDS-PN: A New Proof-Number Search Algorithm Application to Lines of Action Add to Reading List Source URL: www.personeel.unimaas.nl Language: English - Date: 2008-11-11 07:06:23 Search algorithms Proof-number search Mathematics Binary trees B-tree Transposition table Tree T-tree Heuristic function Game artificial intelligence Artificial intelligence Graph theory
46	Informed Search in Complex Games Informed Search in Complex Games Add to Reading List Source URL: www.personeel.unimaas.nl Language: English - Date: 2010-09-20 06:53:24 Heuristics Mathematics Algorithm Mathematical logic Theoretical computer science Proof-number search Heuristic function Heuristic Computer chess Game artificial intelligence Search algorithms Artificial intelligence
47	A NEW PROOF OF THE FIRST WELFARE THEOREM* Alexandre B. Cunha IBMEC Business School Add to Reading List Source URL: www.alexbcunha.com Language: English - Date: 2011-03-23 17:42:03 Economic efficiency Mathematical optimization Pareto efficiency Fundamental theorems of welfare economics General equilibrium theory Mathematical economics Microeconomics Mathematical analysis Game theory Welfare economics Economics
48	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:41:43 Game theory Decision theory Mathematical logic Fixed points Minimax John von Neumann Mathematical proof Scientific theory Function Mathematics Science Logic

UPDATE